#include "driverlib.h"
#include <stdint.h>
#include <stdbool.h>
#include "delay.h"
#include "system.h"
#include "led.h"
#include "timer.h"


int main(void)
{
    SysInit();
	delay_init();
	
	led_init();
	timer_init(TIMER32_PRESCALER_1,47999);
	
    while (1)
    {
		
    }
}


